derivative product property logarithm